361. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده: Joao Leite...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
362. Deductive Software Verification – The KeY Book
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
363. Definition du language algorithmique algol 68
پدیدآورنده: Buffet, J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
364. Definition of programming languages by interpreting automata
پدیدآورنده: Ollongren, Alexander.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
رده :
QA
76
.
7
.
O39
365. Definition of programming languages by interpreting automata
پدیدآورنده: / Alexander Ollongren
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Formal languages,Sequential machine theory
رده :
QA
76
.
7
.
O39
366. Denotational semantics
پدیدآورنده: / by Joseph E. Stoy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
S74
367. Denotational semantics :
پدیدآورنده: David A. Schmidt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
368. Design Patterns in Modern C++
پدیدآورنده: /by Dmitri Nesteruk.,Nesteruk, Dmitri.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Programming languages (Electronic computers).,Software engineering.,Computer programming.,C++ (Computer program language)
رده :
QA76
.
73
.
C153
D56
2018
369. Design and implementation of programming languages
پدیدآورنده: / edited by John H. Williams and David A. Fisher
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
7
.
D47
370. Design and implementation of programming languages : proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
پدیدآورنده: edited by John H. Williams and David A. Fisher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
54
371. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده: edited by John H. Williams and David A. Fisher
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
54
372. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
7
.
D47
373. Design concepts in programming languages
پدیدآورنده: / Franklyn Turbak and David Gifford
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
T845
,
2008
374. Design concepts in programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ;
375. Design of very high-level computer languages: a user-oriented approach
پدیدآورنده: Klerer, Melvin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K58
1991
376. Designing embedded systems with the SIGNAL programming language
پدیدآورنده: by Abdoulaye Gamatiae
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
رده :
TK
،
7895
،.
E42
,
G35
،
2010
377. Designing systems programs
پدیدآورنده: GAUTHIER,RICHARD L
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
378. Digital simulation of continuous systems
پدیدآورنده: Chu, Yaohan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Digital Computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C49
379. Dive into Python 3
پدیدآورنده: Mark Pilgrim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
M375
2009
380. Domain-specific languages /
پدیدآورنده: Martin Fowler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Domain-specific programming languages,Programming languages (Electronic computers)
رده :
QA76
.
7
.
F687
2011
